Verification and Validation of X-Sim: A Trace-Based Simulator
نویسنده
چکیده
X-Sim is a trace-based simulator that is under current development.. It provides a way to easily simulate any application on a heterogeneous set of resources consisting of general purpose processors (GPPs), field programmable gate arrays (FPGAs) and, in the future, other computational elements. This paper attempts to verify and validate X-Sim, with the end goal of allowing the simulator to generate reasonably confident application performance estimates.
منابع مشابه
Verification and Validation of Simulated Process Models of KALBR-SIM Training Simulator
Verification and Validation of Simulated Process Model is the most important phase of the simulator life cycle. Evaluation of simulated process models based on Verification and Validation techniques checks the closeness of each component model (in a simulated network) with the real system/process with respect to dynamic behaviour under steady state and transient conditions. The process of Verif...
متن کاملHTTP Simulator Validation Using Real Measurements: A Case Study
Simulation is a common technique used by Web researchers and provides many benefits. Verification and validation of a simulator are essential if the results of those simulations are to be believed. Unfortunately, even limited validation of simulators has been uncommon in the Web caching community. In contrast, this paper argues for the validity of a new network and caching simulator by extensiv...
متن کاملA First-Order Logic Based Framework for Verifying Simulations
Modern science relies on simulation techniques for understanding phenomenon, exploring design options, or evaluating models. Assuring the correctness of simulators is a key problem where a multitude of solutions ranging from manual inspection to formal verification are applicable. Formal verification incorporates the rigor necessary but not all simulators are generated from formal specification...
متن کاملVerification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملPerformance Prediction of Large Scale Parallel Programs with SIM-MPI
Accurate and efficient performance prediction of parallel programs on current or future architectures is a challenging problem. The approaches to performance prediction can be broadly classified into two types, analytical model and simulation. In this paper, we propose a method of combining trace-driven simulator and compiler technique to solve this hard problem. Now, we have implemented a trac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006